منابع مشابه
Disjoint Borel functions
For each a ∈ ω, we define a Baire class one function fa : ω → ω which encodes a in a certain sense. We show that for each Borel g : ω → ω, fa ∩ g = ∅ implies a ∈ ∆1(c) where c is any code for g. We generalize this theorem for g in a larger pointclass Γ. Specifically, when Γ = ∆2, a ∈ L[c]. Also for all n ∈ ω, when Γ = ∆3+n, a ∈M1+n(c).
متن کاملTowers of Borel Functions
We give mathematical reformulations of the cardinals p and t in terms of families of Borel functions. As an application we show that t is invariant under the addition of a single Cohen real.
متن کاملWhen are Borel functions Baire functions ?
The following two theorems give the flavour of what will be proved. THEOREM. Let Y be a complete metric space. Then the families of first Baire class functions and of first Borel class functions from [0, 1] to Y coincide if and only if Y is connected and locally connected. THEOREM. Let Y be a separable metric space. Then the families of second Baire class functions and of second Borel class fun...
متن کاملEffective Borel measurability and reducibility of functions
The investigation of computational properties of discontinuous functions is an important concern in computable analysis. One method to deal with this subject is to consider effective variants of Borel measurable functions. We introduce such a notion of Borel computability for single-valued as well as for multi-valued functions by a direct effectivization of the classical definition. On Baire sp...
متن کاملBorel-smith Functions and the Dade Group
We show that there is an exact sequence of biset functors over p-groups 0 → Cb j −→B∗ Ψ −→D → 0 where Cb is the biset functor for the group of Borel-Smith functions, B ∗ is the dual of the Burnside ring functor, D is the functor for the subgroup of the Dade group generated by relative syzygies, and the natural transformation Ψ is the transformation recently introduced by the first author in [5]...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2017
ISSN: 0168-0072
DOI: 10.1016/j.apal.2017.02.004